$\forall$$r$:CRng, $a$:Ideal($r$)\{i\}, $d$:detach\_fun($\mid$$r$$\mid$;$a$). $\mid$$r$$\mid$ $\subseteq$ $\mid$$r$ / $d$$\mid$